Marchand, Herv: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

The world's largest scientific articles store. 70,000,000+ articles for free.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

1

Breeding maize lines for complete and partial resistance to maize streak virus (MSV)

Anne Rodier, J. Assié, J. -L. Marchand, Y. Hervé

Journal:

Year:

1995

Language:

english

File:

PDF, 873 KB

english, 1995

2

Polycyclic aromatic hydrocarbons: Bees, honey and pollen as sentinels for environmental chemical contaminants

Olivier Lambert, Bruno Veyrand, Sophie Durand, Philippe Marchand, Bruno Le Bizec, Mélanie Piroux, Sophie Puyo, Chantal Thorin, Frédéric Delbac, Hervé Pouliquen

Journal:

Year:

2012

Language:

english

File:

PDF, 512 KB

english, 2012

3

Symbolic Supervisory Control of Distributed Systems With Communications

Kalyon, Gabriel, Le Gall, Tristan, Marchand, Herv, Massart, Thierry

Journal:

IEEE Transactions on Automatic Control

Year:

2014

Language:

english

File:

PDF, 3.51 MB

english, 2014

4

A Plant Plasma Membrane ATP Binding Cassette-Type Transporter Is Involved in Antifungal Terpenoid Secretion

Michal Jasiński, Yvan Stukkens, Hervé Degand, Bénédicte Purnelle, Jacqueline Marchand-Brynaert and Marc Boutry

Journal:

Year:

2001

Language:

english

File:

PDF, 2.51 MB

english, 2001

5

[IEEE 2016 13th International Workshop on Discrete Event Systems (WODES) - Xi'an, China (2016.5.30-2016.6.1)] 2016 13th International Workshop on Discrete Event Systems (WODES) - Diagnosability of repairable faults

Fabre, Eric, Helouet, Loic, Lefaucheux, Engel, Marchand, Herve

Year:

2016

Language:

english

File:

PDF, 201 KB

english, 2016

6

Diagnosability of repairable faults

Fabre, Eric, Hélouët, Loïc, Lefaucheux, Engel, Marchand, Hervé

Journal:

Discrete Event Dynamic Systems

Year:

2017

Language:

english

File:

PDF, 1.73 MB

english, 2017

7

Housekeeping while brain's storming Validation of normalizing factors for gene expression studies in a murine model of traumatic brain injury

Hervé Rhinn, Catherine Marchand-Leroux, Nicole Croci, Michel Plotkine, Daniel Scherman, Virginie Escriou

Journal:

BMC Molecular Biology

Year:

2008

Language:

english

File:

PDF, 706 KB

english, 2008

8

Decentralized Control of Infinite Systems

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart

Journal:

Discrete Event Dynamic Systems

Year:

2011

Language:

english

File:

PDF, 897 KB

english, 2011

9

Synthesis of opaque systems with static and dynamic masks

Franck Cassez, Jérémy Dubreil, Hervé Marchand

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 990 KB

english, 2012

10

On optimal control of a class of partially observed discrete event systems

Hervé Marchand, Olivier Boivineau, Stéphane Lafortune

Journal:

Year:

2002

Language:

english

File:

PDF, 160 KB

english, 2002

11

Synthesis of Discrete-Event Controllers Based on the Signal Environment

Hervé Marchand, Patricia Bournai, Michel Le Borgne, Paul Le Guernic

Journal:

Discrete Event Dynamic Systems

Year:

2000

Language:

english

File:

PDF, 913 KB

english, 2000

12

More testable properties

Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 1.73 MB

english, 2012

13

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart

Journal:

Discrete Event Dynamic Systems

Year:

2012

Language:

english

File:

PDF, 903 KB

english, 2012

14

Uniform variation in genetic traits of a marine bivalve related to starvation, pollution and geographic clines

Herman Hummel, Roelof H. Bogaards, Claude Amiard-Triquet, Guy Bachelet, Michel Desprez, Jocelyne Marchand, Hervé Rybarczyk, Bernard Sylvand, Yvonne de Wit, Lein de Wolf

Journal:

Journal of Experimental Marine Biology and Ecology

Year:

1995

Language:

english

File:

PDF, 1.35 MB

english, 1995

15

Evaluation of protective effect of DNA vaccination with genes encoding antigens GRA4 and SAG1 associated with GM-CSF plasmid, against acute, chronical and congenital toxoplasmosis in mice

Marie-Noëlle Mévélec, Daniel Bout, Benoît Desolme, Hervé Marchand, Rémy Magné, Odile Bruneel, Dominique Buzoni-Gatel

Journal:

Year:

2005

Language:

english

File:

PDF, 315 KB

english, 2005

16

O15-2 Réduction de volume des sangs placentaires en vue de cryoconservation

C Naegelen, P Marchand, N Pellegrini, E Petit-Prost, JM Certoux, E Racadot, P Tiberghien, P Hervé

Journal:

Transfusion Clinique et Biologique

Year:

1998

File:

PDF, 100 KB

1998

17

On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals

Marchand, Hervé, Boivineau, Olivier, Lafortune, Stéphane

Journal:

SIAM Journal on Control and Optimization

Year:

2000

Language:

english

File:

PDF, 252 KB

english, 2000

18

Polychlorinated Biphenyl and Low Polybrominated Diphenyl Ether Transfer to Milk in Lactating Goats Chronically Exposed to Contaminated Soil

Ounnas, Fayçal, Feidt, Cyril, Toussaint, Hervé, Marchand, Philippe, Bizec, Bruno Le, Rychen, Guido, Jurjanz, Stefan

Journal:

Environmental Science & Technology

Year:

2010

Language:

english

File:

PDF, 262 KB

english, 2010

19

[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - Polychronous controller synthesis from MARTE CCSL timing specifications

Yu, Huafeng, Talpin, Jean-Pierre, Besnard, Loic, Gautier, Thierry, Marchand, Herve, Le Guernic, Paul

Year:

2011

Language:

english

File:

PDF, 592 KB

english, 2011

20

Maladie de Niemann-Pick de type B révélée par une atteinte bronchopulmonaire

Hervé, A., Marchand-Adam, S., Fabre, A., Debray, M.-P., Germain, D.-P., Crestani, B., Aubier, M.

Journal:

Revue des Maladies Respiratoires

Year:

2008

Language:

french

File:

PDF, 1.04 MB

french, 2008

21

Point de vue des médecins généralistes sur les risques de survenue d’une dépendance lors de la prescription d’opioïdes forts

Serra, Éric, Marchand, France, Mimassi, Nagi, Ganry, Hervé

Journal:

Annales Médico-psychologiques, revue psychiatrique

Year:

2014

File:

PDF, 761 KB

2014

22

Enforcing opacity of regular predicates on modal transition systems

Darondeau, Philippe, Marchand, Hervé, Ricker, Laurie

Journal:

Discrete Event Dynamic Systems

Year:

2015

Language:

english

File:

PDF, 1.07 MB

english, 2015

23

Polychlorinated Biphenyl (PCB) Decontamination Kinetics in Lactating Goats (Capra hircus) Following a Contaminated Corn Silage Exposure

Fournier, Agnès, Rychen, Guido, Marchand, Philippe, Toussaint, Hervé, Le Bizec, Bruno, Feidt, Cyril

Journal:

Journal of Agricultural and Food Chemistry

Year:

2013

Language:

english

File:

PDF, 1.12 MB

english, 2013

24

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - Opacity enforcing control synthesis

Dubreil, Jeremy, Darondeau, Philippe, Marchand, Herve

Year:

2008

Language:

english

File:

PDF, 343 KB

english, 2008

25

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops - Abstracting Time and Data for Conformance Testing of Real-Time Systems

Andrade, Wilkerson L., Machado, Patrícia D.L., Jéron, Thierry, Marchand, Hervé

Year:

2011

Language:

english

File:

PDF, 363 KB

english, 2011

26

[IEEE 2009 IEEE International Conference on Control and Automation (ICCA) - Christchurch, New Zealand (2009.12.9-2009.12.11)] 2009 IEEE International Conference on Control and Automation - Computational complexity for state-feedback controllers with partial observation

Kalyon, Gabriel, Le Gall, Tristan, Marchand, Herve, Massart, Thierry

Year:

2009

Language:

english

File:

PDF, 727 KB

english, 2009

27

[IEEE 2013 IEEE 52nd Annual Conference on Decision and Control (CDC) - Firenze (2013.12.10-2013.12.13)] 52nd IEEE Conference on Decision and Control - Runtime enforcement of K-step opacity

Falcone, Ylies, Marchand, Herve

Year:

2013

Language:

english

File:

PDF, 474 KB

english, 2013

28

[IEEE Proceedings. Eighth International Workshop on Discrete Event Systems - Ann Arbor, MI, USA (2006.07.10-2006.07.12)] 2006 8th International Workshop on Discrete Event Systems - The Sigali Tool Box Environment

Besnard, Loic, Marchand, Herve, Rutten, Eric

Year:

2006

Language:

english

File:

PDF, 90 KB

english, 2006

29

Supervisory Control for Opacity

Dubreil, Jeremy, Darondeau, Philippe, Marchand, Herve

Journal:

IEEE Transactions on Automatic Control

Year:

2010

Language:

english

File:

PDF, 790 KB

english, 2010

30

Spatio-temporal variations in the composition of organic matter in surface sediments of a mangrove receiving shrimp farm effluents (New Caledonia)

Aschenbroich, Adélaïde, Marchand, Cyril, Molnar, Nathalie, Deborde, Jonathan, Hubas, Cédric, Rybarczyk, Hervé, Meziane, Tarik

Journal:

Science of The Total Environment

Year:

2015

Language:

english

File:

PDF, 1.96 MB

english, 2015

31

From Bretonneau to therapeutic antibodies, from specificity to specific remedies, Saint-Cyr-Sur-Loire, France, November 19, 2012

Marchand, Claire, Nouat, Romaric, Watier, Hervé

Journal:

Year:

2013

Language:

english

File:

PDF, 356 KB

english, 2013

32

Diagnosis from scenarios

Hélouët, Loïc, Marchand, Hervé, Genest, Blaise, Gazagnaire, Thomas

Journal:

Discrete Event Dynamic Systems

Year:

2014

Language:

english

File:

PDF, 2.01 MB

english, 2014

33

Runtime enforcement of timed properties revisited

Pinisetty, Srinivas, Falcone, Yliès, Jéron, Thierry, Marchand, Hervé, Rollet, Antoine, Nguena Timo, Omer

Journal:

Formal Methods in System Design

Year:

2014

Language:

english

File:

PDF, 809 KB

english, 2014

34

Enforcement and validation (at runtime) of various notions of opacity

Falcone, Yliès, Marchand, Hervé

Journal:

Discrete Event Dynamic Systems

Year:

2015

Language:

english

File:

PDF, 1.91 MB

english, 2015

35

Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems

Chédor, Sébastien, Morvan, Christophe, Pinchinat, Sophie, Marchand, Hervé

Journal:

Discrete Event Dynamic Systems

Year:

2015

Language:

english

File:

PDF, 1.22 MB

english, 2015

36

Ensuring the conformance of reactive discrete-event systems by means of supervisory control

Jéron *, Thierry, Marchand, Hervé, Rusu, Vlad, Tschaen, Valéry

Journal:

International Journal of Production Research

Year:

2004

Language:

english

File:

PDF, 234 KB

english, 2004

37

Contracts for modular discrete controller synthesis

Delaval, Gwenaël, Marchand, Hervé, Rutten, Eric

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 476 KB

english, 2010

38

[ACM Press the 29th Annual ACM Symposium - Gyeongju, Republic of Korea (2014.03.24-2014.03.28)] Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 - Runtime enforcement of regular timed properties

Pinisetty, Srinivas, Falcone, Yliès, Jéron, Thierry, Marchand, Hervé

Year:

2014

Language:

english

File:

PDF, 972 KB

english, 2014

39

[ACM Press the ACM SIGPLAN/SIGBED 2010 conference - Stockholm, Sweden (2010.04.13-2010.04.15)] Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems - LCTES '10 - Contracts for modular discrete controller synthesis

Delaval, Gwenaël, Marchand, Hervé, Rutten, Eric

Year:

2010

Language:

english

File:

PDF, 476 KB

english, 2010

40

Defect of Hepatocyte Growth Factor Secretion by Fibroblasts in Idiopathic Pulmonary Fibrosis

Marchand-Adam, Sylvain, Marchal, Joëlle, Cohen, Murielle, Soler, Paul, Gerard, Bénédicte, Castier, Yves, Lesèche, Guy, Valeyre, Dominique, Mal, Hervé, Aubier, Michel, Dehoux, Monique, Crestani, Bruno

Journal:

American Journal of Respiratory and Critical Care Medicine

Year:

2003

Language:

english

File:

PDF, 97 KB

english, 2003

41

Keratinocyte Growth Factor Expression by Fibroblasts in Pulmonary Fibrosis

Marchand-Adam, Sylvain, Plantier, Laurent, Bernuau, Dominique, Legrand, Agnès, Cohen, Murielle, Marchal, Joëlle, Soler, Paul, Lesèche, Guy, Mal, Hervé, Aubier, Michel, Dehoux, Monique, Crestani, Bruno

Journal:

American Journal of Respiratory Cell and Molecular Biology

Year:

2005

Language:

english

File:

PDF, 379 KB

english, 2005

42

[IEEE 2015 54th IEEE Conference on Decision and Control (CDC) - Osaka, Japan (2015.12.15-2015.12.18)] 2015 54th IEEE Conference on Decision and Control (CDC) - Deadlock-free discrete controller synthesis for infinite state systems

Berthier, Nicolas, Marchand, Herve

Year:

2015

Language:

english

File:

PDF, 413 KB

english, 2015

43

Runtime enforcement of regular timed properties by suppressing and delaying events

Falcone, Yliès, Jéron, Thierry, Marchand, Hervé, Pinisetty, Srinivas

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 1.82 MB

english, 2016

44

Neutrophilic Cathepsin C Is Maturated by a Multistep Proteolytic Process and Secreted by Activated Cells during Inflammatory Lung Diseases

Hamon, Yveline, Legowska, Monika, Hervé, Virginie, Dallet-Choisy, Sandrine, Marchand-Adam, Sylvain, Vanderlynden, Lise, Demonte, Michèle, Williams, Rich, Scott, Christopher J., Si-Tahar, Mustapha, Heu

Journal:

Journal of Biological Chemistry

Year:

2016

Language:

english

File:

PDF, 2.47 MB

english, 2016

45

Comparison of human and murine isolates of Schistosoma mansoni from Richard-Toll, Senegal, by isoelectric focusing

Sène, M., Brémond, P., Hervé, J.P., Southgate, V.R., Sellin, B., Marchand, B., Duplantier, J.M.

Journal:

Journal of Helminthology

Year:

1997

Language:

english

File:

PDF, 1.00 MB

english, 1997

46

Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures

Berthier, Nicolas, An, Xin, Marchand, Herve

Journal:

IFAC-PapersOnLine

Year:

2015

Language:

english

File:

PDF, 546 KB

english, 2015

47

A CONSTRUCTIVE AND MODULAR APPROACH TO DECENTRALIZED SUPERVISORY CONTROL PROBLEMS

Komenda, Jan, Marchand, Hervé, Pinchinat, Sophie

Journal:

IFAC Proceedings Volumes

Year:

2006

Language:

english

File:

PDF, 181 KB

english, 2006

48

Predictability of Sequence Patterns in Discrete Event Systems

Jéron, Thierry, Marchand, Hervé, Genc, Sahika, Lafortune, Stéphane

Journal:

IFAC Proceedings Volumes

Year:

2008

Language:

english

File:

PDF, 424 KB

english, 2008

49

Analysis of partially observed recursive tile systems

Chédor, Sébastien, Morvan, Christophe, Pinchinat, Sophie, Marchand, Hervé

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 218 KB

english, 2012

50

The CEMHaVi Program

Vanhelst, Jérémy, Marchand, Frédéric, Fardy, Paul, Zunquin, Gautier, Loeuille, Guy-André, Renaut, Hervé, Mikulovic, Jacques, Hurdiel, Rémy, Béghin, Laurent, Theunynck, Denis

Journal:

Journal of Cardiopulmonary Rehabilitation and Prevention

Year:

2010

Language:

english

File:

PDF, 244 KB

english, 2010